Ce logiciel est le 6645e le plus populaire dans le classement mondial Wikipédia de logiciels. L'article "Paradox (theorem prover)" sur Wikipédia en anglais a 21.2 points pour la qualité (au 1 août 2024). L'article contient 10 références et 3 sections.
Depuis la création de l'article "Paradox (theorem prover)", son contenu a été rédigé par 27 utilisateurs enregistrés de Wikipédia en anglais et édité par 27 utilisateurs Wikipédia enregistrés dans toutes les langues.
Paradox est à la 6645e place dans le classement mondial des logiciels sur Wikipédia dans tout le temps.
L'article est cité 88 fois dans Wikipédia en anglais et cité 88 fois dans toutes les langues.
Le rang d’intérêt des auteurs le plus élevé depuis 2001:
Le classement de popularité le plus élevé depuis 2008:
Il existe 1 version linguistique pour cet article dans la base de données WikiRank (sur les 55 éditions linguistiques Wikipédia considérées).
L'évaluation de la qualité et de la popularité est basée sur les dumps Wikipédia du 1 août 2024 (y compris l'historique des révisions et les pages vues des années précédentes).
| Meilleur rang | anglais: n° 1104020 03.2008 |
Mondial: n° 1813977 03.2008 |
| Meilleur rang | anglais: n° 43873 11.2018 |
Mondial: n° 99290 02.2004 |
Au 12 novembre 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Donald Trump, Marco Rubio, Elon Musk, Song Jae-rim, élection présidentielle américaine de 2024, Megan Fox, Melania Trump, Gladiator 2, ChatGPT, décès en 2024.
Sur Wikipédia en anglais, les articles les plus populaires ce jour-là étaient: Microsoft, 2024 United States presidential election, Marco Rubio, Song Jae-rim, Michael Waltz, Kristi Noem, Donald Trump, 2020 United States presidential election, Kash Patel, Tom Homan.
Le projet est destiné à l'évaluation relative automatique des articles dans les différentes versions linguistiques de Wikipédia. À l'heure actuelle, le service permet de comparer plus de 44 millions d'articles Wikipédia dans 55 langues. Les scores de qualité des articles sont basés sur les dumps Wikipédia de août 2024. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de juillet 2024 Pour les valeurs historiques de popularité et d’intérêt des auteurs, WikiRank a utilisé des données de 2001 à 2023... Plus d'information
$$Qualité=1/c∑↙{i=1}↖c nm_i-RS=1/5(13.35+8.2+0+21.43+63.2)$$
where:
Les résultats des calculs peuvent être légèrement différents en raison des valeurs arrondies des mesures normalisées dans les formules
